Transfinitely valued Euclidean domains have arbitrary indecomposable order type
نویسندگان
چکیده
منابع مشابه
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches, the implementation is short and concise without giving up on the best known worst case time complexity. It is incremental and concurrent by nature of CHR. It is provably correct and confluent. It is independent of th...
متن کاملEuclidean Functions of Computable Euclidean Domains
We study the complexity of (finitely-valued and transfinitely-valued) Euclidean functions for computable Euclidean domains. We examine both the complexity of the minimal Euclidean function and any Euclidean function. Additionally, we draw some conclusions about the proof-theoretical strength of minimal Euclidian functions in terms of Reverse Mathematics.
متن کاملRemarks about Euclidean Domains
We will call (1) the d-inequality. Sometimes it is expressed in a different way: for nonzero a and b, if a|b then d(a) ≤ d(b). This is equivalent to the d-inequality, taking into account of course the different roles of a and b in the two descriptions. Examples of Euclidean domains are Z (with d(n) = |n|), F [T ] for any field F (with d(f) = deg f ; this example is the reason that one doesn’t a...
متن کاملWeak Metrics on Euclidean Domains
A weak metric on a set is a function that satisfies the axioms of a metric except the symmetry and the separation axioms. The aim of this paper is to present some interesting weak metrics and to study some of their properties. In particular, we introduce a weak metric, called the Apollonian weak metric, on any subset of a Euclidean space which is either bounded or whose boundary is unbounded. W...
متن کاملRelative order and type of entire functions represented by Banach valued Dirichlet series in two variables
In this paper, we introduce the idea of relative order and type of entire functions represented by Banach valued Dirichlet series of two complex variables to generalize some earlier results. Proving some preliminary theorems on the relative order, we obtain sum and product theorems and we show that the relative order of an entire function represented by Dirichlet series is the same as that of i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications in Algebra
سال: 2019
ISSN: 0092-7872,1532-4125
DOI: 10.1080/00927872.2018.1501569